Week 3-4: 文法与语法分析

上下文无关文法(Context-Free Grammars)

语法分析技术:LL、LR、SLR

Week 5-6: 图灵机和可计算性

图灵机的概念

可计算问题

不可计算性理论

Week 7-8: 归约和复杂性

归约的概念

多项式时间归约

P、NP问题

Week 9-10: 自动机和形式语言

上下文有关文法(Context-Sensitive Grammars)

图灵机与形式语言

非确定性有限自动机

Week 11-12: 计算理论的应用

编译器设计原理

计算理论在计算机科学中的实际应用

计算理论的研究领域

Week 13-14: 并发和分布式计算

并发计算的理论基础

分布式系统的模型

CAP理论

Week 15-16: 复习和总结

复习重要概念

解答疑问

准备期末考试

考试安排:

期中考试 (Week 8):

范围涵盖自动机理论、文法和语法分析

包括理论题和实际应用题

期末考试 (Week 16):

综合性考试,覆盖整个课程内容

包括理论题和解答题

平时成绩:

参与课堂讨论、小测验等形式